<div id="menu">
  <?php echo $menu->render(); ?>
</div>